Nonblocking Hierarchical Control of Decentralized Des
نویسندگان
چکیده
This work considers a hierarchical control architecture for a class of discrete event systems which can also be applied to decentralized control systems. It is shown that nonblocking supervisory control on the high level of the hierarchy results in nonblocking and hierarchically consistent control on the low level. Copyright c ©2005 IFAC
منابع مشابه
A Hierarchical Architecture for Nonblocking Control of Decentralized Discrete Event Systems
This contribution investigates the hierarchical control of decentralized DES which are synchronized by shared events. A multi-level hierarchical control architecture providing hierarchical consistency is introduced. Moreover, it allows for composition of decentralized subsystems on the high-level of the hierarchy, and hence reduces the computational complexity of supervisory control synthesis f...
متن کاملDecentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor
This paper addresses a decentralized supervisory control problem for an uncertain discrete event system (DES) modeled by a set of possible nondeterministic automata with unidentified internal events. For a given language specification, we present the existence condition of a robust and nonblocking decentralized supervisor that achieves this specification for any nondeterministic model in the se...
متن کاملOn the Complexity of Projections of Discrete - Event
Natural projections play an important role in decentralized control and partial observation of discrete-event systems (DES), where they are used to constructìocal' models of a given`global' system. However, in general a local model obtained by natural projection may be more complex (i.e., have more states and transitions) than the original system. This raises the question: Under what conditions...
متن کاملHierarchical multitasking control of discrete event systems: Computation of projections and maximal permissiveness
This paper extends previous results on the hierarchical and decentralized control of multitasking discrete event systems (MTDES). Colored observers, a generalization of the observer property, together with local control consistency, allow to derive sufficient conditions for synthesizing modular and hierarchical control that are both strongly nonblocking (SNB) and maximally permissive. A polynom...
متن کاملNonblocking Supervisory Control of Flexible Manufacturing Systems based on State Tree Structures
Much research has been addressed to nonblocking supervisory control of Discrete-Event Systems (DES) such as Flexible Manufacturing Systems (FMS), and a variety of approaches have been developed. One especially powerful approach, due to Chuan Ma, is based on DES representation by means of State Tree Structures (STS). Using STS, this chapter develops nonblocking supervisory control of a well-know...
متن کامل